Putting people into place

Putting Detectors in Their Place

In this paper, we address the problem of locating detectors in a given program under resource constraints. A detector is a program component that asserts the validity of a predicate in a program. The detector location problem is to identify which program actions need to be monitored by detectors such that certain given dependability properties are met. In this paper, we focus on the following d...

Putting Hierarchy in Its Place

Putting molecules in their place.

Each class of microscope is limited to imaging specific aspects of cell structure and/or molecular organization. However, imaging the specimen by complementary microscopes and correlating the data can overcome this limitation. Whilst not a new approach, the field of correlative imaging is currently benefitting from the emergence of new microscope techniques. Here we describe the correlation of ...

Putting Opacity in its Place

We clarify the relationships between Guerraoui and Kapalka’s opacity correctness condition for Transactional Memory (TM) algorithms and the TMS1 and TMS2 conditions we have previously proposed. Using formal, machine checked simulation proofs constructed using the PVS theorem proving system, we have shown that all algorithms that satisfy opacity also satisfy TMS1, and that all algorithms that sa...

Putting Liberalism in Its Place

University Press. All rights reserved. No part of this book may be reproduced in any form by any electronic or mechanical means (including photocopying, recording, or information storage and retrieval) without permission in writing from the publisher, except for reading and browsing via the World Wide Web. Users are not permitted to mount this file on any network servers.